(define (problem tire_31_0_15272)
  (:domain tire)
  (:objects n0 n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12 n13 n14 n15 n16 n17 n18 n19 n20 n21 n22 n23 n24 n25 n26 n27 n28 n29 n30 - location)
  (:init (vehicle-at n25)
         (road n0 n11) (road n11 n0)
         (road n0 n13) (road n13 n0)
         (road n1 n3) (road n3 n1)
         (road n1 n4) (road n4 n1)
         (road n1 n22) (road n22 n1)
         (road n2 n9) (road n9 n2)
         (road n2 n11) (road n11 n2)
         (road n2 n12) (road n12 n2)
         (road n3 n12) (road n12 n3)
         (road n3 n20) (road n20 n3)
         (road n3 n22) (road n22 n3)
         (road n3 n23) (road n23 n3)
         (road n3 n25) (road n25 n3)
         (road n3 n28) (road n28 n3)
         (road n5 n6) (road n6 n5)
         (road n5 n16) (road n16 n5)
         (road n5 n24) (road n24 n5)
         (road n5 n28) (road n28 n5)
         (road n7 n8) (road n8 n7)
         (road n7 n25) (road n25 n7)
         (road n7 n28) (road n28 n7)
         (road n8 n13) (road n13 n8)
         (road n8 n16) (road n16 n8)
         (road n8 n25) (road n25 n8)
         (road n8 n29) (road n29 n8)
         (road n10 n12) (road n12 n10)
         (road n10 n17) (road n17 n10)
         (road n10 n23) (road n23 n10)
         (road n11 n23) (road n23 n11)
         (road n12 n21) (road n21 n12)
         (road n12 n25) (road n25 n12)
         (road n12 n29) (road n29 n12)
         (road n13 n14) (road n14 n13)
         (road n15 n17) (road n17 n15)
         (road n15 n21) (road n21 n15)
         (road n15 n25) (road n25 n15)
         (road n17 n21) (road n21 n17)
         (road n17 n22) (road n22 n17)
         (road n17 n29) (road n29 n17)
         (road n18 n20) (road n20 n18)
         (road n18 n25) (road n25 n18)
         (road n18 n30) (road n30 n18)
         (road n19 n21) (road n21 n19)
         (road n19 n22) (road n22 n19)
         (road n19 n24) (road n24 n19)
         (road n19 n30) (road n30 n19)
         (road n20 n23) (road n23 n20)
         (road n20 n27) (road n27 n20)
         (road n21 n22) (road n22 n21)
         (road n21 n24) (road n24 n21)
         (road n21 n26) (road n26 n21)
         (road n21 n27) (road n27 n21)
         (road n22 n26) (road n26 n22)
         (road n22 n28) (road n28 n22)
         (road n22 n29) (road n29 n22)
         (road n23 n26) (road n26 n23)
         (road n23 n28) (road n28 n23)
         (road n23 n30) (road n30 n23)
         (road n24 n26) (road n26 n24)
         (road n25 n26) (road n26 n25)
         (road n25 n29) (road n29 n25)
         (road n27 n29) (road n29 n27)
         (road n28 n29) (road n29 n28)
         (road n28 n30) (road n30 n28)
         (road n29 n30) (road n30 n29)
         (spare-in n0)
         (spare-in n2)
         (spare-in n4)
         (spare-in n5)
         (spare-in n7)
         (spare-in n8)
         (spare-in n9)
         (spare-in n11)
         (spare-in n15)
         (spare-in n16)
         (spare-in n17)
         (spare-in n18)
         (spare-in n20)
         (spare-in n23)
         (spare-in n24)
         (spare-in n28)
         (not-flattire)
  )
  (:goal (vehicle-at n22))
)
